home *** CD-ROM | disk | FTP | other *** search
- \example\{Local verification}{localarg.lst}
- \example\{Global verification 1}{globarg1.lst}
- \example\{Global verification 2}{globarg2.lst}
- \example\{Global verification 3}{globarg3.lst}
- \font\{Helv}\fontsize\{24}\bold\
- \color\{0}{255}{255}Verification of argument lists#\bold\\nl\\nl\\fontsize\{14}
- \color\{255}{255}{255}
- Forcheck verifies all referenced subprograms and their argument lists.#
- Besides inspection of the number of arguments and argument data types,#
- Forcheck finds out, if possible, if an argument is an input, output or#
- input/output argument. You're informed if an actual argument is a constant,#
- expression, or occurs more than once in the actual argument list, while a #
- new value is assigned to the dummy argument in the subprogram.#
- \nl\
- \nl\
- Forcheck also detects if the actual array or character datum is shorter than#
- the dummy. Moreover, if a dummy argument is apparently an input argument, the#
- actual argument must have been assigned a value.#
- \end\